3564 search results - page 616 / 713 » Evaluating a Formal Modelling Language |
229
Voted
POPL
2005
ACM
16 years 4 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
151
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
113
Voted
NIME
2004
Springer
15 years 9 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
184
Voted
ICLP
2011
Springer
14 years 7 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
156
Voted
HICSS
2012
IEEE
13 years 11 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...