Sciweavers

4360 search results - page 365 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
ISORC
2006
IEEE
16 years 26 days ago
Interaction-Based Behavior Modeling of Embedded Software using UML 2.0
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
139
Voted
FM
2005
Springer
89views Formal Methods» more  FM 2005»
16 years 11 days ago
Control Law Diagrams in Circus
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
AROBOTS
2008
146views more  AROBOTS 2008»
15 years 7 months ago
Biologically-inspired 3D grasp synthesis based on visual exploration
Object grasping is a typical human ability which is widely studied from both a biological and an engineering point of view. This paper presents an approach to grasp synthesis inspi...
Gabriel Recatalá, Eris Chinellato, Angel P....
WEBI
2010
Springer
15 years 4 months ago
How to Improve Your Google Ranking: Myths and Reality
Abstract--Search engines have greatly influenced the way people access information on the Internet as such engines provide the preferred entry point to billions of pages on the Web...
Ao-Jan Su, Y. Charlie Hu, Aleksandar Kuzmanovic, C...
RE
2007
Springer
16 years 29 days ago
Secure and Dependable Patterns in Organizations: An Empirical Approach
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
Yudistira Asnar, Paolo Giorgini, Roberto Bonato, V...