4418 search results - page 644 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
156
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
209
click to vote
IWCMC
2010
ACM
15 years 6 months ago
2010
ACM
Future wireless networks will experience a continuous growth regarding the number of network elements with increasingly complex interrelations between the configuration of multipl...
281
click to vote
WONS
2012
IEEE
14 years 2 months ago
2012
IEEE
—The IEEE 802.15.4 standard specifies an M-ary spread spectrum system with public and fixed spreading sequences. We propose instead to use secret and dynamic, random spreading ...
187
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a method for real-time image based simulation of gaseous material such as fire and smoke. We model the kinematics of these phenomena by a mass-spring system, and their ...
181
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Automatically generating Conceptual Graphs (CGs) [1] from natural language sentences is a difficult task in using CG as a semantic (knowledge) representation language for natural l...