2661 search results - page 305 / 533 » A Semantics for Abstraction |
174
click to vote
IANDC
2010
15 years 5 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
212
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Large scale hardware-supported multithreading, an attractive means of increasing computational power, benefits significantly from low per-thread costs. Hardware support for ligh...
165
Voted
ECMDAFA
2005
Springer
16 years 6 days ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...
197
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
213
click to vote
HT
1996
ACM
15 years 10 months ago
1996
ACM
HyPursuit is a new hierarchical network search engine that clusters hypertext documents to structure a given information space for browsing and search activities. Our content-link...