240 search results - page 48 / 48 » A Typed Calculus of Synchronous Processes |
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...
WETICE
2005
IEEE
14 years 17 days ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...
VSTTE
2005
Springer
14 years 14 days ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
ICCS
2003
Springer
14 years 6 days ago
2003
Springer
Object oriented languages, in particular Java, use a frequent dynamic dispatch mechanism to search for the definition of an invoked method. A method could be defined in more than...
DOCENG
2007
ACM
13 years 10 months ago
2007
ACM
In spite of the high profile of media types such as video, audio and images, many multimedia presentations rely extensively on text content. Text can be used for incidental labels...