2473 search results - page 240 / 495 » Systems, Views and Models of UML |
184
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
214
click to vote
FDL
2004
IEEE
15 years 11 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
146
click to vote
HICSS
2003
IEEE
16 years 15 days ago
2003
IEEE
In recent literature, many authors argue that “Web development” is new and different. The arguments are, however, both debatable and debated, and often it is neither clear wha...
160
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
210
click to vote
ENTCS
2010
15 years 7 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...