2662 search results - page 466 / 533 » Objects-early tools: a demonstration |
RE
2008
Springer
15 years 1 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
15 years 1 days 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 ...
109
click to vote
ICFEM
2010
Springer
15 years 1 days 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...
ICRA
2010
IEEE
15 years 21 hour 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...
105
click to vote
IPMU
2010
Springer
14 years 12 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...