3259 search results - page 447 / 652 » Modeling Autonomous-System Relationships |
148
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not ...
141
click to vote
ACSD
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
119
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
162
click to vote
COMPSAC
1995
IEEE
15 years 8 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
179
click to vote
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...