3828 search results - page 643 / 766 » Proof-Based System Engineering Using a Virtual System Model |
113
click to vote
IUI
2005
ACM
15 years 8 months ago
2005
ACM
A task-oriented space can benefit from an augmented reality interface that layers the existing tools and surfaces with useful information to make cooking more easy, safe and effic...
122
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
143
Voted
CODES
1998
IEEE
15 years 6 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
108
Voted
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
101
Voted
IEEESCC
2007
IEEE
15 years 8 months ago
2007
IEEE
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...