443 search results - page 34 / 89 » A System Development Process with Event-B and the Rodin Plat... |
ICS
2007
Tsinghua U.
14 years 2 months ago
2007
Tsinghua U.
Process arrival pattern, which denotes the timing when different processes arrive at an MPI collective operation, can have a significant impact on the performance of the operatio...
KI
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents the behaviour-based control architecture iB2C (integrated Behaviour-Based Control) used for the development of complex robotic systems. The specification of be...
ECOOP
1994
Springer
14 years 20 days ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
NAR
2006
13 years 8 months ago
2006
Systemslevelinvestigationofgenomicscaleinformation requires the development of truly integrated databases dealing with heterogeneous data, which can be queried for simple properti...
ADBIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Quality of software has growing role of the modern software engineering work. Typical current trends in the development process are the dominating role of quality systems...