Sciweavers

19 search results - page 2 / 4
» Successful Integration of Agile Development Techniques withi...
Sort
View
WOA
2001
13 years 6 months ago
Implementing Adaptive Capabilities on Agents that Act in a Dynamic Environment
Acting in a dynamic environment is a complex task that requires several issues to be investigated, with the aim of controlling the associated search complexity. In this paper, a l...
Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu
KER
2007
90views more  KER 2007»
13 years 5 months ago
Ontology-based models in pervasive computing systems
Pervasive computing is by its nature open and extensible, and must integrate the information from a diverse range of sources. This leads to a problem of information exchange, so s...
Juan Ye, Lorcan Coyle, Simon Dobson, Paddy Nixon
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
13 years 9 months ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm
HICSS
2005
IEEE
156views Biometrics» more  HICSS 2005»
13 years 11 months ago
Insights in Implementing Collaboration Engineering
Collaboration Engineering is an emerging discipline to design and deploy collaboration processes and technologies for repeatable tasks performed by groups. This paper documents th...
Robert J. Harder, Jean M. Keeter, Bryan W. Woodcoc...
WFLP
2009
Springer
277views Algorithms» more  WFLP 2009»
14 years 1 days ago
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
Stephan Falke, Deepak Kapur