2416 search results - page 301 / 484 » The Language of Cortical Dynamics |
207
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
In pervasive computing environments, mobile devices communicate via wireless links without requiring any fixed infrastructure. These devices must be able to discover and share ser...
190
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
167
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
145
click to vote
AFP
2008
Springer
16 years 25 days ago
2008
Springer
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
141
click to vote
ICCS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...