Sciweavers

1743 search results - page 70 / 349
» Language resources for Hebrew
Sort
View
140
Voted
JCS
2002
115views more  JCS 2002»
15 years 3 months ago
Panoptis: Intrusion Detection Using a Domain-Specific Language
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
Diomidis Spinellis, Dimitris Gritzalis
SIGSOFT
2007
ACM
16 years 4 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
133
Voted
ESOP
2004
Springer
15 years 9 months ago
Resources, Concurrency, and Local Reasoning (Abstract)
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
Peter W. O'Hearn
111
Voted
LREC
2008
78views Education» more  LREC 2008»
15 years 5 months ago
A Grid of Regional Language Archives
About two years ago, the Max Planck Institute for Psycholinguistics in Nijmegen, The Netherlands, started an initiative to install regional language archives in various places aro...
Paul Trilsbeek, Daan Broeder, Tobias Valkenhoef, P...
141
Voted
LREC
2008
111views Education» more  LREC 2008»
15 years 5 months ago
MEDAR: Collaboration between European and Mediterranean Arabic Partners to Support the Development of Language Technology for Ar
After the successful completion of the NEMLAR project 2003-2005, a new opportunity for a project was opened by the European Commission, and a group of largely the same partners is...
Bente Maegaard, Mohammed Atiyya, Khalid Choukri, S...