11376 search results - page 368 / 2276 » Willow System Demonstration |
155
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
189
click to vote
ACMDIS
2006
ACM
16 years 24 days ago
2006
ACM
Conceptual design dominates the early stages of most creative design processes. During these stages, the designer makes important decisions about the parameters of a model that ar...
156
click to vote
NORDICHI
2006
ACM
16 years 23 days ago
2006
ACM
The evaluation of e-learning applications deserves special attention and evaluators need effective methodologies and appropriate guidelines to perform their task. We have proposed...
146
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
Increasing functional and non-functional requirements in automotive electric /electronic vehicle development will significantly enhance the integration of novel functions in the e...
198
Voted
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
Computational biology research is now faced with the burgeoning number of genome data. The rigorous postprocessing of this data requires an increased role for high performance com...