7921 search results - page 1161 / 1585 » Process Modeling in Web Applications |
110
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
107
click to vote
GRC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...
IVA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we propose an algorithm based on fuzzy similarity which models the concept of resemblance between facial expressions of an Embodied Conversational Agent. In...
131
click to vote
TRUSTBUS
2007
Springer
15 years 9 months ago
2007
Springer
Usage control governs the handling of sensitive data after it has been given away. The enforcement of usage control requirements is a challenge because the service requester in gen...
ICDE
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper the authors describe and report an experience related to several applications of the Animate Vision Paradigm to query processing and indexing in multimedia databa...