Sciweavers

1287 search results - page 45 / 258
» Towards system software for physical space applications
Sort
View
ICSE
2000
IEEE-ACM
15 years 5 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
16 years 2 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
15 years 8 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
15 years 6 months 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
15 years 5 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