5838 search results - page 445 / 1168 » A File System for System Programming in Ubiquitous Computing |
153
Voted
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
155
click to vote
JAR
2007
15 years 6 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
178
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Interior point methods (IPMs) have proven to be an efficient way of solving quadratic programming problems in predictive control. A linear system of equations needs to be solved in...
163
click to vote
IMC
2009
ACM
16 years 26 days ago
2009
ACM
File sharing using peer-to-peer (p2p) systems is a major Internet application and the leading source of network traffic today. However, the dominance of p2p systems for file sha...
176
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...