1190 search results - page 120 / 238 » The Continuing Quest for Abstraction |
DAGSTUHL
2001
13 years 10 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
OPODIS
2004
13 years 10 months ago
2004
Abstract. Time synchronization is a fundamental service in many wireless applications. While the synchronization problem is well-studied in traditional wired networks, physical con...
ESM
1998
13 years 10 months ago
1998
Bandwidth consumption in distributed real-time simulation, or networked real-time simulation, is a major problem as the number of participants and the sophistication of joint simu...
WOA
2007
13 years 10 months ago
2007
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
BPM
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. A company's ability to flexibly adapt to changing business requirements is one key factor to remain competitive. The required flexibility in peopledriven processes i...