1401 search results - page 214 / 281 » Tool Integration for Reasoned Programming |
152
Voted
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
134
Voted
WWW
2002
ACM
16 years 3 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
113
click to vote
SIGSOFT
2001
ACM
16 years 3 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
131
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Social Network Analysis (SNA) has evolved as a popular, standard method for modeling meaningful, often hidden structural relationships in communities. Existing SNA tools often i...
119
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....