9018 search results - page 1132 / 1804 » 3D-Brain Model Software |
194
click to vote
ICCS
2003
Springer
16 years 20 days ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
242
click to vote
UML
2001
Springer
15 years 12 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
259
click to vote
ISSTA
2000
ACM
15 years 12 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
170
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
207
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...