2416 search results - page 331 / 484 » The Language of Cortical Dynamics |
175
click to vote
COMPSAC
2008
IEEE
16 years 26 days ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
185
click to vote
ICECCS
2007
IEEE
16 years 21 days ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
166
click to vote
SAINT
2007
IEEE
16 years 20 days ago
2007
IEEE
A component framework for defining content-based network processing is presented. It is unique among other existing approaches because it enables contents to naturally define th...
186
click to vote
AIME
2007
Springer
16 years 18 days ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
164
click to vote
CONCUR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...