2436 search results - page 482 / 488 » An Experiment in the Design of Software Agents |
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
CLEF
2006
Springer
15 years 1 months ago
2006
Springer
We describe the objectives and organization of the CLEF 2006 ad hoc track and discuss the main characteristics of the tasks offered to test monolingual, bilingual, and multilingual...
ASPLOS
1987
ACM
15 years 28 days ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
CLUSTER
2009
IEEE
15 years 23 days ago
2009
IEEE
—The 64-bit OS provides ample memory address space that is beneficial for applications using a large amount of data. This paper proposes using a cluster as a memory resource for...
POPL
2010
ACM
14 years 12 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...