1481 search results - page 243 / 297 » Enriching the Software Development Process by Formal Methods |
WECWIS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...
ARCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
SBIA
2004
Springer
15 years 5 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
122
click to vote
TCS
2002
14 years 11 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
ICIP
2000
IEEE
16 years 1 months ago
2000
IEEE
Document image matching is the key technique for document registration and retrieval. In this paper, a new matching algorithm based on document component block list and component ...