Sciweavers

942 search results - page 125 / 189
» Structured decomposition of adaptive applications
Sort
View
INFSOF
2000
122views more  INFSOF 2000»
13 years 9 months ago
Component mining: a process and its pattern language
An important issue in a component-based software development process is the supply source of mature, reliable, adaptable, and maintainable components. We define as component minin...
Diomidis Spinellis, K. Raptis
GAMESEC
2010
119views Game Theory» more  GAMESEC 2010»
13 years 8 months ago
Uncertainty in Interdependent Security Games
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
Benjamin Johnson, Jens Grossklags, Nicolas Christi...
DOCENG
2004
ACM
14 years 3 months ago
Techniques for authoring complex XML documents
This paper reviews the main innovations of XML and considers their impact on the editing techniques for structured documents. Namespaces open the way to compound documents; well-f...
Vincent Quint, Irène Vatton
LCTRTS
2010
Springer
14 years 4 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
ICEBE
2009
IEEE
147views Business» more  ICEBE 2009»
14 years 4 months ago
The Design and Implementation of Service Reservations in Real-Time SOA
—Service-oriented architecture (SOA) provides the flexibility of dynamically composing business processes in enterprise computing. However, they must be enhanced to support real...
Mark Panahi, Weiran Nie, Kwei-Jay Lin