2570 search results - page 285 / 514 » Constructing a web information system development methodolog... |
168
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
172
click to vote
WSC
2008
15 years 8 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
175
click to vote
MUE
2008
IEEE
16 years 27 days ago
2008
IEEE
Context-awareness has become a distinguishing feature of Ubiquitous systems. Contrary to desktop and web applications, Ubiquitous applications gather environmental context and pro...
164
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: RNA-dependent gene silencing is becoming a routine tool used in laboratories worldwide. One of the important remaining hurdles in the selection of the target sequence,...
172
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we present automated techniques for bootstrapping and populating specialized domain ontologies by organizing and mining a set of relevant overlapping Web sites prov...