1838 search results - page 5 / 368 » Process modelling: the deontic way |
IEEESP
2008
13 years 7 months ago
2008
Today, critical infrastructures like the power grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other i...
FM
2009
Springer
14 years 1 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
IADIS
2008
13 years 8 months ago
2008
This paper describes the Mentor Component, which is part of an Affective Educational Module for distance learning. The main purpose of the Affective Module is to motivate the stud...
WOTUG
2008
13 years 8 months ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
CICLING
2003
Springer
14 years 17 days ago
2003
Springer
A new sort of generative grammar (Sec2) will be demonstrated which is more radically “lexicalist” than any earlier one (Sec1). It is a modified Unification Categorial Gramma...