4418 search results - page 378 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
232
click to vote
CBSQ
2003
Springer
16 years 1 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
168
click to vote
TLDI
2003
ACM
16 years 1 days ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
168
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
Integrating force feedback with a complete real-time virtual environment system presents problems which are more difficult than those encountered in building simpler forcefeedback...
214
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
163
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
: This paper addresses the issue of designing scalable prototypes for multi input multi output (MIMO) wireless channel emulation. To date, emulators are extending single input sing...