2663 search results - page 337 / 533 » How to Choose a Timing Model |
192
click to vote
SECON
2007
IEEE
16 years 23 days ago
2007
IEEE
— In this paper we study the broadcast capacity of multihop wireless networks which we define as the maximum rate at which broadcast packets can be generated in the network such...
168
click to vote
PPPJ
2006
ACM
16 years 14 days ago
2006
ACM
Currently there exist dozens of web controller frameworks that are incompatible, but at the same time have large portions of overlapping functionality that is implemented over and...
254
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
182
click to vote
ICECCS
1999
IEEE
15 years 10 months ago
1999
IEEE
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
189
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...