Sciweavers

300 search results - page 47 / 60
» Syntactic Monoids in a Category
Sort
View
LRE
2006
99views more  LRE 2006»
14 years 10 months ago
A lexicon for Vietnamese language processing
Only very recently have Vietnamese researchers begun to be involved in the domain of Natural Language Processing (NLP). As there does not exist any published work in formal linguis...
Thi Minh Huyen Nguyen, Laurent Romary, Mathias Ros...
SIGCSE
2008
ACM
150views Education» more  SIGCSE 2008»
14 years 10 months ago
Backstop: a tool for debugging runtime errors
The errors that Java programmers are likely to encounter can roughly be categorized into three groups: compile-time (semantic and syntactic), logical, and runtime (exceptions). Wh...
Christian Murphy, Eunhee Kim, Gail E. Kaiser, Adam...
SAC
2006
ACM
14 years 10 months ago
Transforming OCL constraints: a context change approach
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
Jordi Cabot, Ernest Teniente
SAC
2008
ACM
14 years 10 months ago
Web service security management using semantic web techniques
The importance of the Web service technology for business, government, among other sectors, is growing. Its use in these sectors demands security concern. The Web Services Securit...
Diego Zuquim Guimarães Garcia, Maria Beatri...
KBSE
2010
IEEE
14 years 8 months ago
A program differencing algorithm for verilog HDL
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
Adam Duley, Chris Spandikow, Miryung Kim