Entity

Time filter

Source Type

Madrid, Spain

Buttner F.,Ecole des Mines de Nantes | Egea M.,ATOS | Cabot J.,Ecole des Mines de Nantes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2012

MDE is a software development process where models constitute pivotal elements of the software to be built. If models are well-specified, transformations can be employed for various purposes, e.g., to produce final code. However, transformations are only meaningful when they are 'correct': they must produce valid models from valid input models. A valid model has conformance to its meta-model and fulfils its constraints, usually written in OCL. In this paper, we propose a novel methodology to perform automatic, unbounded verification of ATL transformations. Its main component is a novel first-order semantics for ATL transformations, based on the interpretation of the corresponding rules and their execution semantics as first-order predicates. Although, our semantics is not complete, it does cover a significant subset of the ATL language. Using this semantics, transformation correctness can be automatically verified with respect to non-trivial OCL pre- and postconditions by using SMT solvers, e.g. Z3 and Yices. © 2012 Springer-Verlag. Source


Trademark
Atos | Date: 2013-04-30

Scientific apparatus other than for medical use and electric apparatus intended for conducting, switching, transforming, storing, regulating and controlling electricity, water, gas and petroleum, namely, electrical controllers; apparatus, media for producing, reproducing, recording, storing, manipulating, transmitting, processing sound, images, information and all kinds of data, namely, apparatus for recording, transmission, processing and reproduction of sound, images or data; data processing apparatus, namely, computer hardware; data transmission systems, namely, computer chipset for use in transmitting data to and from a central processing unit; computers; computer software for use in database management and file management in the field of business technology; printed circuit boards. Management consulting services, namely, business management consulting and advisory services, business consulting, management, and planning services, business organizational and development consulting services; technical, administrative and commercial consulting services for management, namely information and data compiling and analyzing relating to business management and facilities management of technical operations; technical, administrative and commercial consulting services in the field of information technologies, namely providing business administration and management advice in the field of information technology and data processing systems; data processing services; administrative management of computer operations for others, namely operation of computer assisted business information services; business strategic planning services in the field of information technologies; management of computerized files, namely, providing a secured access database via the Internet through which documents and images can be viewed, copied, and printed for business purposes; computerized management of administrative, commercial and technical matters, namely computerized office management, and computerized central file management and business file management; personnel recruitment and management services; organization of exhibitions for commercial purposes, namely arranging, organizing, and conducting exhibitions for business, commercial, and advertising purposes; computer services namely computerized file management; compiling of databases, namely, the collection, compilation, and systemization of information into computer databases; professional consulting and consulting services in the field of compilation of computer databases; consulting in the field of systematization and outsourcing of data; business management services for others, namely, remote computerized management services of administrative office functions, namely, accounting and human resource matters; outsourcing services for document and data processing for a company, namely, services for compilation and systemization of data into computer databases, input and processing of data, information, images, documents, database and image updates. Telecommunication services, namely, providing telecommunication connections to a computer network and to the Internet; providing access to the Internet and telecommunications networks; computer aided transmission of images and messages, electronic mail services, mobile telephony; electronic transmission of data and data signals, namely, electronic, electric, and digital transmission of voice, data, images, signals, and messages; electronic exchange of data stored in databases accessible via telecommunications networks; providing electronic transmission of information stored in a database via interactively communicating computer systems; signal transmission for electronic commerce via telecommunication systems and data communications systems; high bit rate data transmission services for telecommunication network operators; rental of access time to computer databases; providing secure access to telecommunications networks; providing electronic transmission of secure payment information via a global computer network; electronic exchange of data stored in databases accessible via telecommunications networks; telecommunication consultation in the nature of technical consulting in the field of audio, text, and visual data transmission and communication via the Internet. Computer programming services, design and updating of computer software; computing services, namely, rental of computers; computer programming; technical support services, namely, troubleshooting in the nature of diagnosing computer software problems; integration of computing systems and networks; rental of computer software; consulting services in the field of remote computer based information systems for businesses; consulting and research services in the field of information technology and upgrading of computer networking software; management of information technology systems; consultation services in the field of computer project management; hosting a server on a global computer network for providing customer information; computer services, namely, providing a secured-access website featuring technology that gives members the ability to obtain a secured access to computerized networks; computer programming services for electronic and computer payment processing solutions; design and development of energy efficient computer hardware and software; consulting services in the field of energy efficient computing and energy efficient technology.


Trademark
Atos | Date: 2011-10-17

Electric apparatus for conducting, switching, transforming, storing, adjusting and controlling electricity, namely, electrical relays and transformers, electrical storages batteries, electrical controllers; Electrical measuring, analysing and controlling instrument for energy generating resources, namely, oil, gas and water; apparatus, media for producing and reproducing, recording, storing, handling, transmitting, processing sounds, images, information and all types of data, namely, blank digital storage media, apparatus for recording, transmission, processing and reproduction of sound, images or data, sound recording and sound reproducing apparatus and instruments; data processing apparatus, namely, computer hardware for high speed processing and storage data using multiple CPUs (central processes units); data transmission systems, namely, computer chipset for use in transmitting data to and from a central processing unit, optical communications systems comprised of optical and electronic hardware and computer software for transmission of data between two points, broadband power line communication systems for transferring broadband data over electrical power lines, comprised of computer hardware, software and modems; Computer; computer software, printed circuit assemblies. Management advisory services, namely, business management providing business consulting services concerning business organizational development and developing business organizational plans; technical administrative or commercial management consulting, namely, information and data compiling and analyzing related to business management, business administration and management consulting, business management consulting services, facilities management of technical operations; technical administrative or commercial advice relating to information technology, namely, providing business administration and management advice in the field of information technology and data processing systems, operations and administration of telecommunication systems and networks for others, facilities management of technical operations for others, information and data compiling and analyzing relating to business management; data processing services; administrative management of computerized operations for third parties, namely, operations and administration of telecommunications systems and networks for others, management of computerized files; strategic planning in relation to information technology, namely, business analysis and business strategic planning services in the field of technology industry; computer file management for others; computerized management on administrative, commercial and technical matters, namely, computerized and central file management and business file management, computerized office management; data entry and processing, namely, data processing services, compilation and systemization of information in databanks; computer file rental, namely, providing a secured access database via the Internet through which documents and images can be viewed, copied and printed; personnel recruitment and management services; arranging of commercial exhibitions relating to business, namely, organization of exhibitions for commercial or advertising purposes, organization of events, exhibitions, fairs and shows for commercial, promotional and advertising proposes; data processing services, namely, computer file management; database compilation and filing for others; professional consultancy and consultancy services in the field of data bases compilation ; consultancy in data outsourcing and systematization, computerized remote management in administrative, commercial, accounting, and technical matters as well as in human resources; outsourcing services for the treatment of business documents and data, namely, data collection and systematization services in a central file, entering and processing of data, information, images, documents, updating of databases and images. Telecommunications services, particularly via multimedia and computer communication networks, namely, providing electronic transmission of information stored in database via interactively communicating computer systems, providing telecommunications connections to a global computer network; communications via computer terminals, namely, via Internet network; providing access to services on line, namely, providing access to telecommunication networks, providing third party users with access to telecommunication infrastructure; computer assisted transmission of messages and images; electronic messaging services; mobile telephony; systems for the transmission of data and data processing telecommunication, namely, electronic, electric, and digital transmission of voice, data, images, signals, and messages, providing electronic transmission of information stored in a data base via interactively communicating computer systems, signal transmission for electronic commerce via telecommunication systems and data communications systems; management of videotexts networks, multimedia systems, and computer networks for global telecommunication for the transmission of high value data, namely, high bit data transmission services for telecommunication network operators, signal transmission for electronic commerce via telecommunication systems and data communication systems; rental of access time to a database server center, namely, rental of access of time to global computer networks; rental of access of time to a computer server, namely, rental of access of time to global computer networks; provision of secured access to computer networks, servers and the Internet; telecommunications services for remote secure payment; transmission of information accessible via databases and via telematics or computer database server centers, transmission and exchange of data and information via computer terminals, by electronic means; services for secure remote payment, consultation of data via the Internet. Computer programming services; design and updating of computer software; computing services, namely, computer rental, computer programming; technical support in the nature of technical assistance regarding information technology, namely, troubleshooting in the nature of diagnosing computer hardware and software problems, technical administration of servers for others and troubleshooting in the nature of diagnosing server problems, troubleshooting of computer software problems; integration of computer systems and networks; rental of computer software; computing service provided in connection with the rental access time to a computer database via any technical device involving a data transmission system, namely, computer hardware and software consulting services, computer network configuration services, troubleshooting in the nature of diagnosing computer hardware and software problems, technical administration of servers for others and troubleshooting in the nature of diagnosing servers problems, troubleshooting of computer software problems; professional consulting, advisory services, and research in the fields of information technology, computers software design, and updating and compilation of computer databases, namely, Computer hardware and software consulting services developing and updating computer software for others, design of computer software for others, research development, design and upgrading computer software, research services in the field of information and telecommunication technology, technical consulting and assistance with computer based information systems and components, consulting in the field of information technology; professional consulting, computing services, namely, remote database management, management of remote computer network systems, namely, Computer hardware and software consulting services developing and updating computer software for others, design of computer software for others, research development, design and upgrading computer software, research services in the field of information and telecommunication technology, technical consulting and assistance with computer based information systems and components, consulting in the field of information technology; computer server management, namely, remote and on site management of the information technology systems of others, remote management of computer applications for others; computing services provided in the context of the rental of access time to a database server center, namely, computer hardware and software consulting services, troubleshooting in the nature of diagnosing computer hardware and software problems, technical administration of servers for others and troubleshooting in the nature of diagnosing server problems, troubleshooting of computer software problems; consulting for follow-up on technical, computer project or process management, namely, computer project management services in the field of telecommunications, consulting in the field of information technology project management, planning, design and management of information technology systems; consulting for follow up on technical, computer project in the nature of strategy consulting, namely, computer project management services in the field of telecommunications, consulting in the field of information technology project management, planning, design and management of information technology systems; computing services provided in the context of the rental of access of time to a computer database, namely, computer hardware and software consulting services, computer network configuration services, troubleshooting in the nature of diagnosing computer hardware and software problems, technical administration of servers for others and troubleshooting in the nature of diagnosing server problems, troubleshooting of computer software problems; facilities management, namely, the hosting of servers for the purpose of completely or partially managing customers information systems; computer services providing secure access and communications with an integrated computer system and/or for user admissibility and identification; services for the programming of payment computer and electronic processing solutions; design and development of equipment, computer systems and structures facilitating the long-term usage of computer resources; consulting in sustainable development in the field of information technology and new technologies.


Trademark
Atos Se and Atos | Date: 2013-04-30

Scientific apparatus other than for medical use and electric apparatus intended for conducting, switching, transforming, storing, regulating and controlling electricity, water, gas and petroleum, namely, electrical controllers; apparatus, media for producing, reproducing, recording, storing, manipulating, transmitting, processing sound, images, information and all kinds of data, namely, apparatus for recording, transmission, processing and reproduction of sound, images or data; data processing apparatus, namely, computer hardware; data transmission systems, namely, computer chipset for use in transmitting data to and from a central processing unit; computers; computer software for use in database management and file management in the field of business technology; printed circuit boards. Management consulting services, namely, business management consulting and advisory services, business consulting, management, and planning services, business organizational and development consulting services; technical, administrative and commercial consulting services for management, namely information and data compiling and analyzing relating to business management and facilities management of technical operations; technical, administrative and commercial consulting services in the field of information technologies, namely providing business administration and management advice in the field of information technology and data processing systems; data processing services; administrative management of computer operations for others, namely operation of computer assisted business information services; business strategic planning services in the field of information technologies; management of computerized files, namely, providing a secured access database via the Internet through which documents and images can be viewed, copied, and printed for business purposes; computerized management of administrative, commercial and technical matters, namely computerized office management, and computerized central file management and business file management; personnel recruitment and management services; organization of exhibitions for commercial purposes, namely arranging, organizing, and conducting exhibitions for business, commercial, and advertising purposes; computer services namely computerized file management; compiling of databases, namely, the collection, compilation, and systemization of information into computer databases; professional consulting and consulting services in the field of compilation of computer databases; consulting in the field of systematization and outsourcing of data; business management services for others, namely, remote computerized management services of administrative office functions, namely, accounting and human resource matters; outsourcing services for document and data processing for a company, namely, services for compilation and systemization of data into computer databases, input and processing of data, information, images, documents, database and image updates. Telecommunication services, namely, providing telecommunication connections to a computer network and to the Internet; providing access to the Internet and telecommunications networks; computer aided transmission of images and messages, electronic mail services, mobile telephony; electronic transmission of data and data signals, namely, electronic, electric, and digital transmission of voice, data, images, signals, and messages; electronic exchange of data stored in databases accessible via telecommunications networks; providing electronic transmission of information stored in a database via interactively communicating computer systems; signal transmission for electronic commerce via telecommunication systems and data communications systems; high bit rate data transmission services for telecommunication network operators; rental of access time to computer databases; providing secure access to telecommunications networks; providing electronic transmission of secure payment information via a global computer network; electronic exchange of data stored in databases accessible via telecommunications networks; telecommunication consultation in the nature of technical consulting in the field of audio, text, and visual data transmission and communication via the Internet. Computer programming services, design and updating of computer software; computing services, namely, rental of computers; computer programming; technical support services, namely, troubleshooting in the nature of diagnosing computer software problems; integration of computing systems and networks; rental of computer software; consulting services in the field of remote computer based information systems for businesses; consulting and research services in the field of information technology and upgrading of computer networking software; management of information technology systems; consultation services in the field of computer project management; hosting a server on a global computer network for providing customer information; computer services, namely, providing a secured-access website featuring technology that gives members the ability to obtain a secured access to computerized networks; computer programming services for electronic and computer payment processing solutions; design and development of energy efficient computer hardware and software; consulting services in the field of energy efficient computing and energy efficient technology.


Quintin J.-N.,ATOS | Vigneras P.,ATOS
Proceedings - 2nd IEEE International Workshop on High-Performance Interconnection Networks in the Exascale and Big-Data Era, HiPINEB 2016 | Year: 2016

In exascale platforms, faults are likely to occur more and more frequently due to the huge number of components. To handle them, the BXI fabric management uses a generic architecture that specifies two distinct modes of operations: offline mode computes, validates and uploads nominal routing tables, while online mode reacts at runtime to failures and recoveries by computing small patches and by uploading them to the concerned switches. This design presented in a previous article, helps limiting both the computation time and the failure impact on the whole fabric. However, in wormhole switching such as with BXI, uploading new routing tables at runtime is known to be generally deadlock-prone. This paper thus introduces a new property of online routing algorithms called transitively deadlock-free and presents the formal description of two BXI online routing algorithms holding this property. It also shows that the combination of a deadlock-free offline routing algorithm with a transitively deadlock-free online one provides a fault-tolerant deadlock-free routing algorithm. The theory is flexible enough to be adapted to other routing algorithms and to other topologies. © 2016 IEEE. Source

Discover hidden collaborations