Sciweavers

1906 search results - page 76 / 382
» Controls in Flexible Software Development
Sort
View
EMSOFT
2006
Springer
15 years 4 months ago
An analysis framework for network-code programs
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
126
Voted
DBSEC
2010
113views Database» more  DBSEC 2010»
15 years 27 days ago
A Logic of Privacy
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...
Steve Barker, Valerio Genovese
106
Voted
GI
2010
Springer
14 years 10 months ago
Cloud Computing for Autonomous Control in Logistics
Abstract: Logistics processes in a globalised economy are increasingly complex, dynamic, and distributed. These properties pose major challenges for logistics planning and control....
Arne Schuldt, Karl Hribernik, Jan D. Gehrke, Klaus...
102
Voted
ECRA
2002
129views more  ECRA 2002»
15 years 14 days ago
A formal approach to negotiating agents development
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
Marlon Dumas, Guido Governatori, Arthur H. M. ter ...
158
Voted

Book
231views
16 years 10 months ago
Object-Oriented Software Composition
"Object-Oriented Software Composition adopts the viewpoint that object-oriented technology is essentially about composing flexible software applications from software componen...
Oscar Nierstrasz, Dennis Tsichritzis