1824 search results - page 203 / 365 » Practices and Techniques for Engineering Process Capability ... |
138
Voted
ECLIPSE
2004
ACM
15 years 9 months ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
121
Voted
ISCC
2002
IEEE
15 years 9 months ago
2002
IEEE
Virtual Private Networks (VPN) represent, in today’s Internet, one of the most interesting applications. This is due both to their usefulness in corporate network scenarios and ...
125
click to vote
PUK
2000
15 years 5 months ago
2000
Abstract. In this paper we study traditional and enhanced BDDbased exploration procedures capable of handling large planning problems. On the one hand, reachability analysis and mo...
124
click to vote
ICESS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
141
Voted
UML
2000
Springer
15 years 7 months ago
2000
Springer
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...