2409 search results - page 327 / 482 » Logical systems for structured specifications |
151
Voted
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
We address the problem of academic conference homepage understanding for the Semantic Web. This problem consists of three labeling tasks - labeling conference function pages, func...
145
Voted
EUROMICRO
2007
IEEE
15 years 7 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
155
Voted
HT
1987
ACM
15 years 7 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
132
Voted
LISA
2007
15 years 6 months ago
2007
Firewall policies can be extremely complex and difficult to maintain, especially on networks with more than a few hundred machines. The difficulty of configuring a firewall proper...
91
Voted
ACG
2009
Springer
15 years 10 months ago
2009
Springer
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...