Sciweavers

2933 search results - page 397 / 587
» Agent-Grid Integration Language
Sort
View
149
Voted
ICLP
2001
Springer
15 years 8 months ago
An Order-Sorted Resolution with Implicitly Negative Sorts
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
Ken Kaneiwa, Satoshi Tojo
ICSE
2001
IEEE-ACM
15 years 8 months ago
Designing Concurrent, Distributed, and Real-Time Applications with UML
Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations an...
Hassan Gomaa
IEAAIE
2001
Springer
15 years 7 months ago
A New Approach in Object-Based Knowledge Representation: The AROM System
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
Michel Page, Jérôme Gensel, Cé...
138
Voted
WEBENG
2001
Springer
15 years 7 months ago
Development and Evolution of Web-Applications Using the WebComposition Process Model
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
Martin Gaedke, Guntram Gräf
99
Voted
ECBS
2000
IEEE
99views Hardware» more  ECBS 2000»
15 years 7 months ago
Enhancing Architectural Mismatch Detection with Assumptions
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
Sebastián Uchitel, Daniel Yankelevich