14360 search results - page 459 / 2872 » Time Modeling in MARTE |
151
Voted
BTW
2007
Springer
15 years 9 months ago
2007
Springer
: The availability of versioned text collections such as the Internet Archive opens up opportunities for time-aware exploration of their contents. In this paper, we propose time-tr...
162
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Realtime web search refers to the retrieval of very fresh content which is in high demand. An effective portal web search engine must support a variety of search needs, including ...
156
Voted
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
: Wide area network (WAN) -based distributed computing (DC) has become an active field of research, especially under the label of grid computing. On the other hand, research on WAN...
146
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
131
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...