2435 search results - page 392 / 487 » GPSS - 40 years of development |
167
click to vote
EMSOFT
2007
Springer
16 years 5 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
132
click to vote
IWANN
2007
Springer
16 years 4 days ago
2007
Springer
Approximately 50% of all patients with intraocular melanoma die of metastatic disease, despite successful treatment of the primary tumour. The main factors associated with mortalit...
168
click to vote
SCHULE
2007
Springer
16 years 3 days ago
2007
Springer
: In our department we have a long history of developing interfaces for learning, which are framed by constructivist and constructionist theories of learning. Thus we try to create...
204
click to vote
WLP
2007
Springer
16 years 3 days ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
168
click to vote
GLOBECOM
2006
IEEE
16 years 1 days ago
2006
IEEE
— The wireless LAN technology 802.11, also called Wi-Fi, offers high speed wireless Internet access for local area environments. WLANs provide much higher data rates than the mob...