3555 search results - page 590 / 711 » Security-Critical System Development with Extended Use Cases |
110
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
CRIWG
2003
15 years 2 months ago
2003
In a collaborative session users may join and leave. A user who joins a session is called a latecomer. A latecomer needs the current state of the collaborative session to participa...
125
click to vote
WEBIST
2007
15 years 2 months ago
2007
Content Management Systems and Web Portal Frameworks are more and more widely adopted in Web development. Those kinds of software often produce Web pages whose layout is divided in...
116
click to vote
EOR
2006
15 years 1 months ago
2006
The success of a company increasingly depends on timely information (internal or external) being available to the right person at the right time for crucial managerial decision-ma...
136
click to vote
TELSYS
2008
15 years 1 months ago
2008
Most underwater networks rely on expensive specialized hardware for acoustic communication and modulation. This has impeded wide scale deployments of underwater sensor networks and...