613 search results - page 97 / 123 » Executable Visual Contracts |
GCC
2003
Springer
15 years 4 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
GI
2001
Springer
15 years 3 months ago
2001
Springer
: Studierstube is an operating system for applications in virtual reality. It supports multiple users collaborating in a distributed system. While initially developed for scientifi...
DCW
2000
Springer
15 years 3 months ago
2000
Springer
The diversity of negotiation types in e-commerce calls for a clear description of the rules that govern them. The participant has to know the rules before engaging in a negotiation...
CAISE
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
IPPS
1999
IEEE
15 years 3 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...