2409 search results - page 62 / 482 » Logical systems for structured specifications |
119
click to vote
CICLING
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a system that uses the domain name of a German business website to locate its information pages (e.g. company profile, contact page, imprint) and then identifi...
AI
2005
Springer
15 years 1 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
132
Voted
CADE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
116
Voted
EDOC
2004
IEEE
15 years 4 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
106
Voted
WSC
2007
15 years 3 months ago
2007
This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...