659 search results - page 77 / 132 » Process Modeling in the telco industry |
B
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
ISLPED
1995
ACM
14 years 25 days ago
1995
ACM
Prompted by demands for portability and low-cost packaging, the electronics industry has begun to view power consumption as a critical design criteria. As such there is a growing ...
WSC
2000
13 years 10 months ago
2000
This paper recognises that good communication and interaction are key factors to the success of a simulation project and suggests that groupware technology can increase the chance...
PVLDB
2010
13 years 7 months ago
2010
Shortest path computation is one of the most common queries in location-based services that involve transportation networks. Motivated by scalability challenges faced in the mobil...
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...