2914 search results - page 556 / 583 » Learning and Inference with Constraints |
EUROPAR
2003
Springer
14 years 3 months ago
2003
Springer
This paper describes an agent-based architecture that extends personal mobility to ubiquitous environment. A software agent, running on a portable device, leverages the existing se...
FM
2003
Springer
14 years 3 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
SP
1999
IEEE
14 years 2 months ago
1999
IEEE
Psychological acceptability has been mentioned as a requirement for secure systems for as long as least privilege and fail safe defaults, but until now has been all but ignored in...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
HICSS
1998
IEEE
14 years 2 months ago
1998
IEEE
A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear them...