504 search results - page 94 / 101 » Modular System Development with Pullbacks |
109
click to vote
EUROSSC
2007
Springer
15 years 5 months ago
2007
Springer
This paper addresses the design of a large area, high resolution, networked pressure sensing floor with primary application in movement-based human-computer interaction (M-HCI). T...
110
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
124
click to vote
IWCMC
2010
ACM
15 years 4 months ago
2010
ACM
The first step required by the process of cognition is the intelligent observation of the environment that surrounds the actors of such a process. We present the CalRAdio-Based a...
109
click to vote
FPGA
2004
ACM
15 years 3 months ago
2004
ACM
Pattern matching for network security and intrusion detection demands exceptionally high performance. Much work has been done in this field, and yet there is still significant roo...
RTCSA
1995
IEEE
15 years 3 months ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...