12670 search results - page 376 / 2534 » Requirements Modeling |
172
click to vote
PATMOS
2004
Springer
16 years 5 days ago
2004
Springer
Portableembeddeddevicesmustpresentlyrunmultimediaandwireless network applications with enormous computational performance requirements at a low energy consumption. In these applica...
174
click to vote
ECBS
2003
IEEE
16 years 3 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
199
Voted
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
: Automated Guided Vehicles (or AGVs for short) have become an important option in material handling. In many applications, such as container terminals, the service area is often a...
187
click to vote
ISVLSI
2003
IEEE
16 years 2 days ago
2003
IEEE
The need for small, high speed, low power computers as the end of Moore’s law approaches is driving research into nanotechnology. These novel devices have significantly differe...
182
click to vote
ICSOC
2003
Springer
16 years 14 hour ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...