3228 search results - page 493 / 646 » Basics of Compiler Design |
126
click to vote
WMASH
2005
ACM
15 years 11 months ago
2005
ACM
The unprecedented proliferation of wireless networking services and products has taken the notion of hotspots a step further to accommodate “mobile hotspots”. The deployment o...
151
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
150
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
156
click to vote
BTW
2005
Springer
15 years 11 months ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
149
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...