3335 search results - page 638 / 667 » Grid result checking |
109
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
121
click to vote
DALT
2005
Springer
15 years 5 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
126
click to vote
ECMDAFA
2005
Springer
15 years 5 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
103
click to vote
ECOOP
2005
Springer
15 years 5 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...