5407 search results - page 952 / 1082 » The Software Engineering Global Model |
202
click to vote
SEW
2005
IEEE
16 years 11 days ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
185
click to vote
ARCS
2005
Springer
16 years 10 days ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
168
click to vote
EMSOFT
2005
Springer
16 years 10 days ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
176
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
165
click to vote
FSTTCS
2005
Springer
16 years 9 days ago
2005
Springer
In this paper4 , we compare Timed Automata (TA) and Time Petri Nets (TPN) with respect to weak timed bisimilarity. It is already known that the class of bounded TPNs is strictly in...