1802 search results - page 153 / 361 » Using Declarative Specifications in Business Process Design |
150
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Gene Ontology (GO) terms are often used to assess the results of microarray experiments. The most common way to do this is to perform Fisher's exact tests to find...
147
click to vote
MOBIQUITOUS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Body sensor networks consisting of low-power onbody wireless sensors attached to mobile users will be used in the future to monitor the health and well being of patient...
273
click to vote
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
135
click to vote
ASE
1999
15 years 2 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
115
click to vote
RULEML
2005
Springer
15 years 8 months ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...