2740 search results - page 106 / 548 » Typing the Specialization Interface |
73
Voted
ANLP
1992
15 years 1 months ago
1992
The Intelligent Documentation Advisory System generates on-line documentation and help messages from a domain knowledge base, using natural-language (NL) generation techniques. Th...
86
Voted
JLP
2002
15 years 13 days ago
2002
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
With the increasing occurrence of temporal and spatial data in present-day database applications, the interval data type is adopted by more and more database systems. For an effic...
97
Voted
MCU
2004
15 years 2 months ago
2004
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...
122
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...