Sciweavers

1287 search results - page 80 / 258
» Towards system software for physical space applications
Sort
View
BPM
2003
Springer
121views Business» more  BPM 2003»
15 years 11 months ago
Towards a Library for Process Programming
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
Guangxin Yang
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 10 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
JUCS
2008
180views more  JUCS 2008»
15 years 6 months ago
The APS Framework For Incremental Learning of Software Agents
Abstract: Adaptive behavior and learning are required of software agents in many application domains. At the same time agents are often supposed to be resource-bounded systems, whi...
Damian Dudek
ERSHOV
2006
Springer
15 years 10 months ago
An Agent-Based Architecture for Dialogue Systems
Abstract. Research in dialogue systems has been moving towards reusable and adaptable architectures for managing dialogue execution and integrating heterogeneous subsystems. In thi...
Mark Buckley, Christoph Benzmüller
CCR
2011
15 years 1 months ago
Papyrus: a software platform for distributed dynamic spectrum sharing using SDRs
Proliferation and innovation of wireless technologies require significant amounts of radio spectrum. Recent policy reforms by the FCC are paving the way by freeing up spectrum fo...
Lei Yang, Zengbin Zhang, Wei Hou, Ben Y. Zhao, Hai...