4385 search results - page 729 / 877 » Abstraction for Concurrent Objects |
115
click to vote
ICWL
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The Agile Teaching/Learning Methodology (ATLM) is a teaching/learning methodology designed for higher-education based on the best practices and ideas from the field of so...
ISER
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper describes the implementation of a decentralized architecture for autonomous teams of aerial and ground vehicles engaged in active perception. We provide a theo...
ISOLA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
119
click to vote
ITRUST
2004
Springer
15 years 4 months ago
2004
Springer
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...
METAINFORMATICS
2004
Springer
15 years 4 months ago
2004
Springer
Spatial structure supporting applications offer an abstract level of what can be found in the real world. However, in many systems, objects are aligned straight, rotation is not p...