2702 search results - page 321 / 541 » Practically Applicable Formal Methods |
143
Voted
TOSEM
2002
15 years 2 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
154
Voted
VLC
2010
14 years 9 months ago
2010
Submission Deadline: December 14, 2009 The Journal of Visual Languages and Computing (http://www.elsevier.com/locate/jvlc, impact factor: 0.863) invites authors to submit papers fo...
116
Voted
CAV
2009
Springer
15 years 9 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
136
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
106
Voted
ADC
2009
Springer
15 years 9 months ago
2009
Springer
Location-based context-aware services for mobile users need to collaborate in disparate networks. Services come and go as the user moves and no central repository is available. Th...