2282 search results - page 201 / 457 » Active property checking |
136
Voted
TGC
2005
Springer
15 years 10 months ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
142
click to vote
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
Enterprise Resource Planning (ERP) systems have received well-deserved attention from both the industry and the research communities, yet the usability of these systems remains a ...
114
click to vote
IJON
2002
15 years 4 months ago
2002
Since the functional magnetic resonance imaging (fMRI) signal is likely to re ect a spatial average of the activity of neurons with partly dissimilar response properties, its inte...
163
Voted
AGTIVE
2007
Springer
15 years 11 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,...
181
click to vote
LANMR
2004
15 years 6 months ago
2004
In previous work we have discussed the importance of identifying the cycles that occur in a logic program under the answer set semantics, and the connections between cycles, that w...