2153 search results - page 337 / 431 » From Requirements Models to Formal Specifications in B |
180
click to vote
ACMDIS
2000
ACM
15 years 10 months ago
2000
ACM
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...
195
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
194
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway. Examples of such networks...
150
click to vote
IIE
2007
15 years 6 months ago
2007
Although there are many high-quality models for program and evaluation planning, these models are often too intensive to be used in situations when time and resources are scarce. A...
152
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
With Telecom market reaching saturation in many geographies and revenues from voice calls decreasing, Telecom operators are trying to identify new sources of revenue. For this pur...