2835 search results - page 139 / 567 » Common Semantics for Use Cases and Task Models |
167
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
: Study variables in clinical trial specifications are often defined manually, depending on the knowledge and experience of the author rather than on commonly agreed methods and st...
113
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
146
click to vote
SIMULATION
2008
15 years 4 months ago
2008
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
131
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
Manual management of public key credentials can be a significant and often off-putting obstacle to Grid use, particularly for casual users. We describe the Portal-based User Regis...
142
click to vote
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...