934 search results - page 95 / 187 » Supporting Cross-Organizational Process Control |
124
click to vote
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
139
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
136
Voted
RTCSA
1997
IEEE
15 years 8 months ago
1997
IEEE
Memory protection is an important OS feature for the reliability and safety of real-time control systems. In this paper, we study the feasibility of memory protection in small emb...
142
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
This paper discusses conditions under which some of the “higher level” mental concepts applicable to human beings might also be applicable to artificial agents. The key idea ...
139
click to vote
EGOV
2010
Springer
15 years 5 months ago
2010
Springer
Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically repre...