566 search results - page 92 / 114 » Challenges and Research Directions in Agent-Oriented Softwar... |
PROFES
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes an evaluation of a characterisation framework to analyse mobile work scenarios in order to make corresponding software systems. The framework identifies comple...
DAS
2010
Springer
14 years 16 days ago
2010
Springer
In this paper we present a new database of online handwritten documents with different contents such as text, drawings, diagrams, formulas, tables, lists, and markings. It was de...
COMPUTER
2004
13 years 7 months ago
2004
any benefits. Most significantly, an abstract architectural model can provide a global perspective of the system and expose important system-level properties and integrity constrai...
ASSETS
2010
ACM
13 years 2 months ago
2010
ACM
Electronic Augmented and Alternative Communication (AAC) systems provide a method for people with severe speech impairments to communicate by selecting what they desire to say, an...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...