7921 search results - page 215 / 1585 » Process Modeling in Web Applications |
124
Voted
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
106
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Group Support Systems (GSS) can improve the productivity of Group Work by offering a variety of tools to assist a virtual group across geographical distances. Experience shows tha...
117
Voted
IEAAIE
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes the use of cases as a process representation technique and shows how case base reasoning can be used to navigate through, or execute a complex control process....
128
Voted
ENTCS
2007
15 years 3 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
154
Voted
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
— Existing stream processing systems are optimized for a specific metric, which may limit their applicability to diverse applications and environments. This paper presents XFlow...