59 search results - page 9 / 12 » Towards Modularized Verification of Distributed Time-Trigger... |
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
—The International Electro-technical Commission through the 61499 standard establishes the basic infrastructure towards an open market in the control and automation domain. This ...
WWW
2002
ACM
14 years 8 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
IRI
2008
IEEE
14 years 1 months ago
2008
IEEE
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...
NSPW
2004
ACM
14 years 29 days ago
2004
ACM
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper presents significant steps towards the online integration of 3D perception and manipulation for personal robotics applications. We propose a modular and distributed...