7139 search results - page 300 / 1428 » Language Engineering in Practice |
168
click to vote
FOSSACS
2004
Springer
16 years 19 days ago
2004
Springer
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...
211
click to vote
ICLP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
176
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there is a lack of sufficient support for architectural specifications across HW/SW boundaries. S...
197
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
141
click to vote
CSMR
2006
IEEE
16 years 1 months ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...