657 search results - page 61 / 132 » Modeling Dynamic Domains with ConGolog |
DAWAK
2010
Springer
13 years 10 months ago
2010
Springer
Facts are multidimensional concepts of primary interests for knowledge workers because they are related to events occurring dynamically in an organization. Normally, these concepts...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
This research concerns the definition of a service-oriented approach for business processes modeling. Business services are reusable process units that contain one or several proc...
SIGMETRICS
2008
ACM
13 years 9 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
IEEESCC
2007
IEEE
14 years 3 months ago
2007
IEEE
Traditionally, product models often have a rigid nature, both with respect to the manner in which they are initially tailored to clients, and to the way they are maintained over t...
PDCAT
2007
Springer
14 years 3 months ago
2007
Springer
Ubiquitous computing environment has become more popular as a highly open, heterogeneous and service-rich domain, which makes it essential and important for end-users to build a r...