5838 search results - page 388 / 1168 » A File System for System Programming in Ubiquitous Computing |
140
click to vote
PERCOM
2009
ACM
16 years 5 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
186
Voted
ACIVS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...
136
click to vote
AOIS
2004
15 years 6 months ago
2004
Agent-Oriented Programming (AOP) offers an alternative and radical approach to the development of information systems in various domains. However, one domain that AOP has only mini...
150
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
151
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...