5056 search results - page 708 / 1012 » Network Coding Theory |
188
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
190
click to vote
PPDP
2007
Springer
16 years 24 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
172
click to vote
INFOSCALE
2006
ACM
16 years 19 days ago
2006
ACM
A fundamental paradigm in P2P is that of a large community of intermittently-connected nodes that cooperate to share files. Because nodes are intermittently connected, the P2P co...
172
click to vote
ML
2006
ACM
16 years 19 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
188
click to vote
WETICE
2005
IEEE
16 years 7 days ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...