215 search results - page 18 / 43 » A Case Study on Artefact-Based RE Improvement in Practice |
SIGCSE
2004
ACM
15 years 5 months ago
2004
ACM
Reacting to challenges that have been observed in humancomputer interaction (HCI) education, as well as the multidisciplinary design, science, and engineering underpinnings, we in...
FORMATS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
JPDC
2006
15 years 11 days ago
2006
Minimum Spanning Tree (MST) is one of the most studied combinatorial problems with practical applications in VLSI layout, wireless communication, and distributed networks, recent ...
92
Voted
IJCSS
2006
15 years 13 days ago
2006
An analysis framework is presented that can be used to assess important issues of mobile workforce solutions, based on recent literature on mobile business. Within this framework ...
85
Voted
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
Software developers identify two main reasons why software systems are not made robust: performance and practicality. This work demonstrates the effectiveness of general technique...