Sciweavers

2308 search results - page 266 / 462
» Categorial Semantics For LFG
Sort
View
ATAL
2003
Springer
15 years 11 months ago
Engineering commitment-based multiagent systems: a temporal logic approach
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
Jie Xing, Munindar P. Singh
CCS
2003
ACM
15 years 11 months ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
ISSS
2002
IEEE
120views Hardware» more  ISSS 2002»
15 years 11 months ago
Virtual Synchronization for Fast Distributed Cosimulation of Dataflow Task Graphs
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
Soonhoi Ha, Sungchan Kim, Chan-Eun Rhee, Hyunguk J...
COSIT
2009
Springer
144views GIS» more  COSIT 2009»
15 years 11 months ago
Are Places Concepts? Familarity and Expertise Effects in Neighborhood Cognition
Named urban neighborhoods (localities) are often examples of vague place extents. These are compared with current knowledge of vagueness in concepts and categories within semantic ...
Clare Davies
OOPSLA
2001
Springer
15 years 11 months ago
Modular Mixin-Based Inheritance for Application Frameworks
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
Dominic Duggan, Ching-Ching Techaubol