2520 search results - page 375 / 504 » Model-checking behavioral programs |
IWIA
2005
IEEE
14 years 4 months ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
UIST
2005
ACM
14 years 3 months ago
2005
ACM
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...
GPCE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
UM
2005
Springer
14 years 3 months ago
2005
Springer
Adaptive information systems typically exploit knowledge about the user’s interests, preferences, goals etc. to determine what should be presented to the user and how this presen...
UM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We propose an approach for modeling the navigational behavior of Web users based on task-level patterns. The discovered “tasks” are characterized probabilistically as...