1988 search results - page 329 / 398 » Engineering formal metatheory |
168
click to vote
AI
2007
Springer
16 years 16 days ago
2007
Springer
The judgment that whether an email is spam or non-spam may vary from person to person. Different individuals can have totally different responses to the same email based on their p...
159
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
173
click to vote
FSEN
2007
Springer
16 years 15 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
173
click to vote
SEKE
2007
Springer
16 years 13 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
152
click to vote
VAMOS
2007
Springer
16 years 13 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...