Sciweavers

3837 search results - page 427 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
ICESS
2007
Springer
15 years 10 months ago
Situation-Aware Based Self-adaptive Architecture for Mission Critical Systems
Conventional mission-critical systems cannot prevent mission failure in dynamic battlefield environments in which the execution situations or missions change abruptly. To solve th...
Sangsoo Kim, Jiyong Park, Heeseo Chae, Hoh Peter I...
OOPSLA
2007
Springer
15 years 10 months ago
No ifs, ands, or buts: uncovering the simplicity of conditionals
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
Jonathan Edwards
TMRA
2007
Springer
15 years 10 months ago
Expressing Dublin Core in Topic Maps
The Dublin Core Metadata Initiative is an open organization engaged in the development of interoperable online metadata standards that support a broad range of purposes and busines...
Steve Pepper
VMCAI
2007
Springer
15 years 10 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
WER
2007
Springer
15 years 10 months ago
A Requirements Management Framework for Privacy Compliance
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
Sepideh Ghanavati, Daniel Amyot, Liam Peyton