2662 search results - page 466 / 533 » Objects-early tools: a demonstration |
RE
2008
Springer
14 years 9 months ago
2008
Springer
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
43
Voted
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— Miniaturization of Programmable Matter is a major challenge. Much of the difficulty stems from size and power requirements of internal actuators. This paper demonstrat...
IPMU
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Many surveillance cameras are being installed throughout the environments of our daily lives because they effectively maintain safety and offer security to ordinary peopl...