3828 search results - page 683 / 766 » Proof-Based System Engineering Using a Virtual System Model |
109
click to vote
INFSOF
2006
15 years 2 months ago
2006
The parametric data model captures an object in terms of a single tuple. This feature eliminates unnecessary self-join operations to combine tuples scattered in a temporal relatio...
128
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
The synthesis of facial expression with control of intensity and personal styles is important in intelligent and affective human-computer interaction, especially in face-to-face i...
117
click to vote
ISSRE
2005
IEEE
15 years 7 months ago
2005
IEEE
The software development process imposes major impacts on the quality of software at every development stage; therefore, a common goal of each software development phase concerns ...
146
click to vote
SENSYS
2010
ACM
15 years 3 days ago
2010
ACM
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...
120
click to vote
CEEMAS
2005
Springer
15 years 7 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...