Sciweavers

12673 search results - page 2064 / 2535
» Learning while designing
Sort
View
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
15 years 9 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
IMC
2007
ACM
15 years 9 months ago
Interference map for 802.11 networks
The interference map of an 802.11 network is a collection of data structures that can help heuristics for routing, channel assignment and call admission in dense wireless networks...
Dragos Niculescu
FPL
2008
Springer
178views Hardware» more  FPL 2008»
15 years 9 months ago
High-speed regular expression matching engine using multi-character NFA
An approach is presented for high throughput matching of regular expressions (regexes) by first converting them into corresponding Non-deterministic Finite Automata (NFAs) which a...
Norio Yamagaki, Reetinder P. S. Sidhu, Satoshi Kam...
ASAP
2010
IEEE
148views Hardware» more  ASAP 2010»
15 years 9 months ago
Function flattening for lease-based, information-leak-free systems
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T...
FPLAY
2008
15 years 9 months ago
Flow and immersion in first-person shooters: measuring the player's gameplay experience
Researching experiential phenomena is a challenging undertaking, given the sheer variety of experiences that are described by gamers and missing a formal taxonomy: flow, immersion...
Lennart Nacke, Craig A. Lindley
« Prev « First page 2064 / 2535 Last » Next »