9006 search results - page 1592 / 1802 » Modeling Software |
134
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
130
Voted
CHI
1997
ACM
15 years 8 months ago
1997
ACM
—The Amulet user interface development environment makes it easier for programmers to create highly-interactive, graphical user interface software for Unix, Windows and the Macin...
126
Voted
DIMVA
2010
15 years 5 months ago
2010
Abstract. Skype is one of the most used P2P applications on the Internet: VoIP calls, instant messaging, SMS and other features are provided at a low cost to millions of users. Alt...
127
click to vote
PR
2007
15 years 3 months ago
2007
A major challenge in developing advanced thermal processess based on electromagnetic heating is to determine the location of cold spots in foods. A rapid and reliable method was d...
121
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Web Information Systems (WIS) support the process of retrieving information from sources on the Web and of presenting them as a hypermedia presentation. Most WIS design ogies focu...