2835 search results - page 38 / 567 » Common Semantics for Use Cases and Task Models |
JUCS
2008
13 years 8 months ago
2008
: So far, the Ambient Intelligence (AmI) paradigm has been applied to the development of a great variety of real systems. They use advanced technologies such as ubiquitous computin...
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
IEEEIAS
2007
IEEE
14 years 3 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...