6581 search results - page 163 / 1317 » Formalizing Design Patterns |
130
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
— Optical Burst Switching (OBS) is an experimental network technology that enables the construction of very high capacity routers, using optical data paths and electronic control...
130
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
131
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
119
click to vote
HCI
2011
14 years 6 months ago
2011
Over the past 15 years, children have become more integrally involved in the design of their technology. In this paper, we present the idea that design partnering methods, specific...
102
Voted
SECURWARE
2007
IEEE
15 years 9 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...