3943 search results - page 389 / 789 » Architecture-Level Requirements Specification |
206
click to vote
ICSE
1999
IEEE-ACM
15 years 11 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 ...
167
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
Field programmable gate arrays (FPGAs) are commonly used in embedded systems. Although it is possible to reconfigure some FPGAs while an embedded system is operational, this featu...
191
click to vote
ICCCN
1998
IEEE
15 years 11 months ago
1998
IEEE
Supporting mobility in Wireless ATM networks poses a number of technical issues. An important issue is the ability to reroute ongoing virtual connections during handoff as mobile ...
164
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Counting networks were introduced as a new class of concurrent, distributed, low contention data structures suitable for implementing shared counters. Their structure is similar t...
230
click to vote
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...