2663 search results - page 337 / 533 » How to Choose a Timing Model |
146
Voted
SECON
2007
IEEE
15 years 9 months 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...
124
click to vote
PPPJ
2006
ACM
15 years 9 months 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...
217
Voted
ICSM
2000
IEEE
15 years 8 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...
137
Voted
ICECCS
1999
IEEE
15 years 7 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 ...
159
Voted
ICSE
1999
IEEE-ACM
15 years 7 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 ...