45 search results - page 2 / 9 » Putting It All Together: Pattern Languages for Interaction D... |
ICSE
2003
IEEE-ACM
14 years 4 months ago
2003
IEEE-ACM
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...
POPL
2012
ACM
12 years 11 days ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
DSVIS
2008
Springer
13 years 6 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
AI
2005
Springer
13 years 4 months ago
2005
Springer
In designing a Bayesian network for an actual problem, developers need to bridge the gap between ematical abstractions offered by the Bayesian-network formalism and the features o...
ALT
2003
Springer
13 years 8 months ago
2003
Springer
Abstract. Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to pot...