2377 search results - page 386 / 476 » Hybrid Systems in TLA |
191
click to vote
NIPS
1992
15 years 7 months ago
1992
Several research groups are implementing analog integrated circuit models of biological auditory processing. The outputs of these circuit models have taken several forms, includin...
211
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
205
click to vote
ANSOFT
2002
15 years 6 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
165
click to vote
FAC
2010
15 years 4 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
199
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...