4520 search results - page 576 / 904 » Algebraic Techniques for Timed Systems |
173
click to vote
AOSE
2005
Springer
16 years 10 days 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...
172
click to vote
ICCS
2005
Springer
16 years 10 days 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...
188
Voted
VIZSEC
2005
Springer
16 years 8 days 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...
139
click to vote
SIGCSE
2004
ACM
16 years 7 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...
179
click to vote
DATE
2003
IEEE
16 years 3 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...