3828 search results - page 401 / 766 » Proof-Based System Engineering Using a Virtual System Model |
222
click to vote
OTM
2005
Springer
16 years 7 days ago
2005
Springer
Nowadays, workflow research has shifted from fundamentals of workflow modelling and enactment towards improvement of the workflow modelling lifecycle and integration of workflow en...
181
click to vote
SE
2008
15 years 8 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
253
click to vote
GBRPR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes an expert peering system for information exchange. Our objective is to develop a real-time search engine for an online community where users can ask e...
182
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
Limited energy and memory resources are important constraints in the design of an embedded system. Compression is an useful and widely employed mechanism to reduce the memory requ...
170
click to vote
ECOOP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...