10159 search results - page 453 / 2032 » System Design Validation Using Formal Models |
135
click to vote
IEICET
2006
15 years 4 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
143
click to vote
ECIS
2000
15 years 6 months ago
2000
Abstract- This paper deals with "Knowledge Management Systems" (KMS) which are seen as a new kind of information systems supporting organizational information processing....
163
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
—Capsule endoscopy is a promising technique for diagnosing diseases in the small intestines. Here we propose a miniature swimming mechanism that uses MRI’s magnetic fields for ...
144
click to vote
UML
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
132
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...