Sciweavers

1287 search results - page 45 / 258
» Towards system software for physical space applications
Sort
View
ICSE
2000
IEEE-ACM
13 years 11 months ago
Software engineering and middleware: a roadmap
The construction of a large class of distributed systems can be simplified by leveraging middleware, which is layered between network operating systems and application components....
Wolfgang Emmerich
SIGSOFT
2007
ACM
14 years 8 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
CSE
2009
IEEE
14 years 2 months ago
Sensor-Based Feedback Systems in Organizational Computing
—Radical change is needed in today’s organizations. While e-mail, instant messaging, wikis, prediction markets, and the like have proliferated across myriad sectors, the fundam...
Taemie Kim, Daniel Olguin Olguin, Benjamin N. Wabe...
ISMAR
2002
IEEE
14 years 18 days ago
Augmented Chemistry: An Interactive Educational Workbench
This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes the realisation of an in-house designed Tangible Use...
Morten Fjeld, Benedikt M. Voegtli
COMPSAC
2009
IEEE
13 years 11 months ago
Building an Enterprise Service Bus for Real-Time SOA: A Messaging Middleware Stack
Service-Oriented Architecture (SOA) has become the preferred methodology to build complex enterprise applications. Inside an enterprise, an Enterprise Service Bus (ESB) has emerged...
Luis Garcés-Erice