1856 search results - page 347 / 372 » Formal Dialectic Specification |
121
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user m...
110
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
114
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Only few well-maintained domain ontologies can be found on the Web. The likely reasons for the lack of useful domain ontologies include that (1) informal means to convey intended m...
113
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
123
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...