2226 search results - page 30 / 446 » Pdk: The System and Its Language |
132
Voted
EWSA
2004
Springer
15 years 7 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
115
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...
124
Voted
ENTCS
2008
15 years 1 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
123
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
96
Voted
ICGI
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. Grammatical inference is typically defined as the task of finding a compact representation of a language given a subset of sample sequences from that language. Many di...