Sciweavers

3653 search results - page 26 / 731
» On Recognizable Timed Languages
Sort
View
WSC
1998
14 years 11 months ago
Building Parallel Time-Constrained HLA Federates: A Case Study with the Parsec Parallel Simulation Language
Based on the DIS result, the HLA framework has been defined to achieve interoperability of independent simulators. Concurrently, and for the most part, independent of that effort,...
CongDuc Pham, Rajive Bagrodia
RTAS
2006
IEEE
15 years 3 months ago
A Semantic Unit for Timed Automata Based Modeling Languages
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...
EMSOFT
2001
Springer
15 years 2 months ago
Giotto: A Time-Triggered Language for Embedded Programming
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
AICS
2009
14 years 7 months ago
Using Shallow Natural Language Processing in a Just-In-Time Information Retrieval Assistant for Bloggers
Abstract. Just-In-Time Information Retrieval agents proactively retrieve information based on queries that are implicit in, and formulated from, the user's current context, su...
Ang Gao, Derek G. Bridge
PAPM
2001
Springer
107views Mathematics» more  PAPM 2001»
15 years 2 months ago
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter ...