Sciweavers

5961 search results - page 1105 / 1193
» Design Science and Software Engineering
Sort
View
102
Voted
OOPSLA
2009
Springer
15 years 9 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
146
Voted
VRST
2009
ACM
15 years 9 months ago
A semantic environment model for crowd simulation in multilayered complex environment
Simulating crowds in complex environment is fascinating and challenging, however, modeling of the environment is always neglected in the past, which is one of the essential proble...
Hao Jiang, Wenbin Xu, Tianlu Mao, Chunpeng Li, Shi...
133
Voted
ARCS
2010
Springer
15 years 9 months ago
How to Enhance a Superscalar Processor to Provide Hard Real-Time Capable In-Order SMT
This paper describes how a superscalar in-order processor must be modified to support Simultaneous Multithreading (SMT) such that time-predictability is preserved for hard real-ti...
Jörg Mische, Irakli Guliashvili, Sascha Uhrig...
134
Voted
ICAC
2008
IEEE
15 years 9 months ago
Digital Evolution of Behavioral Models for Autonomic Systems
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
Heather Goldsby, Betty H. C. Cheng, Philip K. McKi...
122
Voted
ISORC
2008
IEEE
15 years 9 months ago
CROWN: A Service-Oriented Grid Middleware System: Experience and Applications
Grid computing has emerged as a new paradigm of distributed computing technology on large-scale resource sharing and coordinated problem solving. Based on a proposed Web service-b...
Jinpeng Huai, Chunming Hu, Tianyu Wo, Jianxin Li
« Prev « First page 1105 / 1193 Last » Next »