6155 search results - page 96 / 1231 » A language for multiple models of computation |
128
click to vote
CMG
2006
15 years 5 months ago
2006
Modern computer systems are based on a wide variety of software servers, such as web servers, application servers, database servers, and mail servers. The typical software archite...
141
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— In this paper, we consider the problem of how background knowledge about usual object arrangements can be utilized by a mobile robot to more efficiently find an object in an ...
129
click to vote
IIHMSP
2006
IEEE
15 years 10 months ago
2006
IEEE
Visual analysis of human behavior has generated considerable interest in the field of computer vision because of the wide spectrum of potential applications. In this paper, we pre...
134
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
160
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...