2060 search results - page 52 / 412 » The Composition of Event-B Models |
181
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Coecke, Sadrzadeh, and Clark [3] developed a compositional model of meaning for distributional semantics, in which each word in a sentence has a meaning vector and the distributio...
135
click to vote
ICEBE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
123
click to vote
HCI
2009
15 years 1 months ago
2009
Task time is a measure of productivity in an interface. Keystroke Level Modeling (KLM) can predict experienced user task time to within 10 to 30% of actual times. One of the bigges...
133
Voted
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
122
Voted
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
Dynamically creating new, composite services "on the fly" using existing ones in a local interaction environment (e.g. a home, meeting room, airport lounge, etc.) presen...