7139 search results - page 344 / 1428 » Language Engineering in Practice |
250
click to vote
FOSSACS
2001
Springer
15 years 12 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
261
click to vote
AOSD
2005
ACM
16 years 29 days ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
343
click to vote
OOPSLA
2004
Springer
16 years 23 days ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
206
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...
209
click to vote
VMCAI
2004
Springer
16 years 23 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...