2409 search results - page 352 / 482 » Logical systems for structured specifications |
124
Voted
SIGDOC
2004
ACM
15 years 9 months ago
2004
ACM
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...
140
Voted
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...
155
Voted
IUI
2003
ACM
15 years 9 months ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
128
Voted
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Modern FPGAs have been designed with advanced integrated circuit techniques that allow high speed and low power performance, joined to reconfiguration capabilities. This makes new...
106
Voted
WEBENG
2001
Springer
15 years 8 months ago
2001
Springer
This paper introduces the Web Engineering Resources Portal (shortly WEP), as a basic Reference Model and Guide for the Web Engineers. WEP provides a general classification of Web E...