3828 search results - page 587 / 766 » Proof-Based System Engineering Using a Virtual System Model |
143
click to vote
ECIS
2001
15 years 7 months ago
2001
There are many data modelling languages used in today's information systems engineering environment. Some of the data modelling languages used have a degree of hype surroundi...
200
click to vote
SEKE
2009
Springer
16 years 24 days ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
167
click to vote
CP
2010
Springer
15 years 4 months ago
2010
Springer
A recurring problem in data centres is that the constantly changing workload is not proportionally distributed over the available servers. Some resources may lay idle while others ...
305
click to vote
TASE
2012
IEEE
14 years 1 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
161
click to vote
IUI
1999
ACM
15 years 10 months ago
1999
ACM
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...