Sciweavers

3101 search results - page 391 / 621
» Composing Adaptive Software
Sort
View
ISW
2001
Springer
15 years 9 months ago
Suitability of a Classical Analysis Method for E-commerce Protocols
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
Sigrid Gürgens, Javier Lopez
140
Voted
APN
2000
Springer
15 years 9 months ago
UML - A Universal Modeling Language?
Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to ...
Gregor Engels, Reiko Heckel, Stefan Sauer
141
Voted
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
15 years 9 months ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...
144
Voted
APPINF
2003
15 years 6 months ago
Experience Paper: Migration of a Web-based System to a Mobile Work Environment
It is a large collection of software supporting the planning, execution and reporting of work activities, but these systems are mainly created to be run in a distributed wired net...
Carl-Fredrik Sørensen, Alf Inge Wang, &Osla...
119
Voted
COLING
1996
15 years 6 months ago
Distributing and Porting General Linguistic Tools
Our main motivation is to build general and adaptable linguistic tools and we have faced the problem of their portability. We first make a quick description of the linguistic tool...
Damien Genthial, Jacques Courtin, Jacques Menezo