Sciweavers

841 search results - page 126 / 169
» A secure architectural description language for agent system...
Sort
View
EUROMICRO
2007
IEEE
15 years 5 months ago
Guiding Component-Based Hardware/Software Co-Verification with Patterns
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
Juncao Li, Fei Xie, Huaiyu Liu
JODL
2000
194views more  JODL 2000»
15 years 1 months ago
An open electronic marketplace through agent-based workflows: MOPPET
We propose an electronic marketplace architecture, called MOPPET, where the commerce processes in the marketplace are modeled as adaptable agent-based workflows. The higher level ...
Sena Nural Arpinar, Asuman Dogac, Nesime Tatbul
ICECCS
2008
IEEE
3385views Hardware» more  ICECCS 2008»
15 years 8 months ago
Contract-Based Approach to Analyze Software Components
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...
ITCC
2002
IEEE
15 years 6 months ago
Web-Based Information Access: Multilingual Automatic Authoring
The needs for managing similar documents in different languages increases with the growing amounts of electronic information available in documents of the same type (e.g. news str...
Roberto Basili, Maria Teresa Pazienza, Fabio Massi...
CAISE
2008
Springer
15 years 4 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek