3400 search results - page 201 / 680 » tools 2008 |
146
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a formal framework, experimental infrastructure, and computational environment for modeling, analyzing and regulating the behavior of cardiac tissues....
166
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
167
click to vote
CIMCA
2008
IEEE
15 years 8 months ago
2008
IEEE
On the one hand, mashups are a new kind of web application built upon the composition of different resources in a user-friendly way. Tools based on such concepts focus on graphic ...
164
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Creating and designing an ontology is a complex task requiring discussions between domain and ontology engineering experts as well as the users of an ontology. We present...
186
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...