4460 search results - page 463 / 892 » Formal methods for interactive systems |
209
Voted
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
162
click to vote
CHI
2008
ACM
15 years 8 months ago
2008
ACM
As emphasis is placed on developing mobile, educational, and other applications that minimize cognitive load on users, it is becoming more essential to base interface design on im...
194
Voted
ARTMED
2008
15 years 7 months ago
2008
Objective: Cardiovascular disease, obesity, and lack of physical fitness are increasingly common and negatively affect people's health, requiring medical assistance and decre...
202
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...
209
Voted
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...