354 search results - page 34 / 71 » Consistency between Executable and Abstract Processes |
JCST
2008
13 years 9 months ago
2008
To minimize the execution time of a sensing task over a multi-hop hierarchical sensor network, we present a coordinated scheduling method following the divisible load scheduling p...
CLEAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper describes the CHIL 2007 evaluation data set provided for the Rich Transcription 2007 Meeting Recognition Evaluation (RT07) in terms of recording setup, scenari...
ER
2007
Springer
14 years 4 months ago
2007
Springer
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...
ESORICS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
MODELS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...