4520 search results - page 576 / 904 » Algebraic Techniques for Timed Systems |
200
click to vote
AOSE
2005
Springer
16 years 1 months ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
200
click to vote
ICCS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
215
click to vote
VIZSEC
2005
Springer
16 years 1 months ago
2005
Springer
Traffic anomalies and attacks are commonplace in today’s networks and identifying them rapidly and accurately is critical for large network operators. For a statistical intrusi...
161
click to vote
SIGCSE
2004
ACM
16 years 29 days ago
2004
ACM
There are a wide variety of ways to present information at the front of a classroom. These include chalk on a blackboard, markers on a whiteboard, pens on transparencies, and comp...
204
click to vote
DATE
2003
IEEE
16 years 25 days ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...