Sciweavers

4469 search results - page 146 / 894
» A Language for Role Specifications
Sort
View
ENTCS
2008
70views more  ENTCS 2008»
15 years 4 months ago
Separate Compilation of Polychronous Specifications
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard,...
118
Voted
NLDB
2010
Springer
15 years 3 months ago
Extracting Meronymy Relationships from Domain-Specific, Textual Corporate Databases
Abstract. Various techniques for learning meronymy relationships from opendomain corpora exist. However, extracting meronymy relationships from domain-specific, textual corporate d...
Ashwin Ittoo, Gosse Bouma, Laura Maruster, Hans Wo...
UAIS
2008
72views more  UAIS 2008»
15 years 4 months ago
Sign language applications: preliminary modeling
For deaf persons to have ready access to information and communication technologies (ICTs), the latter must be usable in sign language (SL), i.e. include interlanguage interfaces....
Annelies Braffort, Patrice Dalle
256
Voted
POPL
2006
ACM
16 years 5 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
157
Voted
CCR
2004
147views more  CCR 2004»
15 years 4 months ago
Safe compositional specification of networking systems
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...