2328 search results - page 311 / 466 » Component Frameworks - A Case Study |
134
click to vote
IJON
2002
15 years 4 months ago
2002
We study the relation between maps of a high-dimensional stimulus manifold onto an essentially two-dimensional cortical area and low-dimensional maps of stimulus features such as ...
136
click to vote
KI
2002
Springer
15 years 4 months ago
2002
Springer
Both public and private organizations have been accumulating large volumes of electronically available text documents for the past years. However, to turn text archives into profi...
167
Voted
JSA
2008
15 years 4 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
151
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
With the Internet designed to provide best-effort packet transmission, applications are expected to adapt dynamically to the operating conditions observed in the network. For this ...
138
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...