3937 search results - page 279 / 788 » Questioning Ubiquitous Computing |
141
click to vote
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
As the properties of components have gradually become clearer, attention has started to turn to the architectural issues which govern their interaction and composition. In this pa...
110
click to vote
SIGCSE
1998
ACM
15 years 9 months ago
1998
ACM
First-year computer science students need to see clearly that computer science as a discipline has an important intellectual role to play and that it offers deep philosophical que...
131
click to vote
ANLP
1994
15 years 6 months ago
1994
A computational model for the acquisition of knowledge from encyclopedic texts is described. The model has been implemented in a program, called SNOWY, that reads unedited texts f...
164
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A formula ψ(Y ) is a selector for a formula ϕ(Y ) in a structure M if there exists a unique Y that satisfies ψ in M and this Y also satisfies ϕ. A formula ψ(X, Y )...
247
click to vote
ECCB
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...