1481 search results - page 257 / 297 » Enriching the Software Development Process by Formal Methods |
113
click to vote
CISIS
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper describes the initial PhD research work for developing an innovative process for agent coordination in unstructured distributed environments. In this proposal, an agent...
126
click to vote
SOCO
2011
Springer
2011
Springer
A novel approach to annotating web service based on interface concept mapping and semantic expansion
14 years 6 months ago
With the rapid development of web service technology in these years, traditional standards have been matured during the process of service registry and discovery. However, it is di...
122
click to vote
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
208
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
103
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: DNA sequence polymorphisms analysis can provide valuable information on the evolutionary forces shaping nucleotide variation, and provides an insight into the function...