3155 search results - page 117 / 631 » How Are You Doing |
FORTE
2004
13 years 9 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
WIS
2004
13 years 9 months ago
2004
We envision an environment where humans communicate directly with computers without additional authentication inputs like passwords, passphrases, PINs (Personal Identification Num...
WSC
2000
13 years 9 months ago
2000
SLX, Simulation Language with Extensibility, is the newest member in Wolverine Software's family of simulation and animation software. SLX features unique extensibility mecha...
MM
2010
ACM
13 years 8 months ago
2010
ACM
While there have been research efforts in organizing largescale web videos into topics, efficient browsing of web video topics remains a challenging problem not yet addressed. The...
COMBINATORICA
2008
13 years 8 months ago
2008
Let NF(n, k, r) denote the maximum number of columns in an n-row matrix with entries in a finite field F in which each column has at most r nonzero entries and every k columns are...